122 search results for "author:"BAP Team""

Showing 101 - 122
  1. bap-toplevel

    No documentation

    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. bap-trace

    No documentation

    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. bap-traces

    No documentation

    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  4. bap-trivial-condition-form

    No documentation

    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. bap-veri

    No documentation

    BAP Instruction Semantics Verification Tool
    BAP Team
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  6. bap-warn-unused

    No documentation

    Emit a warning if an unused result may cause a bug or security issue
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  8. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  9. bitvec
    Documentation
    Fixed-size bitvectors and modular arithmetic, based on Zarith
    BAP Team
    2.5.0
    MIT
    Used by 22 other packages
    14 Jul 2022
  10. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  11. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  12. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  13. conf-binutils
    Documentation
    Checks that binutils are installed
    BAP Team
    0.3
    MIT
    Used by 4 other packages
    19 Jul 2020
  14. conf-ida

    No documentation

    Checks that IDA Pro is installed
    BAP Team
    0.3
    MIT
    Used by 2 other packages
    30 Jul 2020
  15. conf-radare2

    No documentation

    Checks that radare2 is installed
    BAP Team
    0.1
    MIT
    Used by 2 other packages
    06 Aug 2020
  16. core-lwt

    No documentation

    Lwt library wrapper in the Janestreet core style
    BAP Team
    0.3.0
    MIT
    Used by 1 other packages
    10 Apr 2019
  17. graphlib
    Documentation
    Generic Graph library
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  18. monads
    Documentation
    A missing monad library
    BAP Team
    2.5.0
    MIT
    Used by 26 other packages
    14 Jul 2022
  19. ogre
    Documentation
    Open Generic REpresentation NoSQL Database
    BAP Team
    2.5.0
    MIT
    Used by 19 other packages
    14 Jul 2022
  20. ppx_bap

    No documentation

    The set of ppx rewriters for BAP
    Carnegie Mellon University BAP Team
    v0.14.0
    MIT
    Used by 63 other packages
    07 Nov 2020
  21. regular
    Documentation
    Library for regular data types
    BAP Team
    2.5.0
    MIT
    Used by 32 other packages
    14 Jul 2022
  22. text-tags
    Documentation
    A library for rich formatting using semantics tags
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
1 2 3